Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security

نویسندگان

  • Mohamed Garoui
  • Belhassen Mazigh
  • Béchir el Ayeb
  • Abder Koukam
چکیده

Agent technology is a software paradigm that permits to implement large and complex distributed applications. In order to assist the development of multi-agent systems, agent-oriented methodologies (AOM) have been created in the last years to support modeling more and more complex applications in many different domains. By defining in a non-ambiguous way concepts used in a specific domain, Meta modeling may represent a step towards such interoperability. In the Transport domain, this paper propose an agent-oriented meta-model that provides rigorous concepts for conducting transportation system problem modeling. The aim is to allow analysts to produce a transportation system model that precisely captures the knowledge of an organization so that an agent-oriented requirements specification of the system-to-be and its operational corporate environment can be derived from it. To this end, we extend and adapt an existing meta-model, Extended Gaia, to build a meta-model and an adequate model for transportation problems. Our new agent-oriented meta-model aims to allow the analyst to model and specify any transportation system as a multi-agent system. Based on the proposed meta-model, we proposes an approach for modeling and evaluating the Transportation System based on Stochastic Activity Network (SAN) components. The proposed process is based on seven steps from “Recognition” phase to “Quantitative Analysis” phase. These analyzes are based on the Dependability models which are built using the formalism Stochastic Activity Network. A real case study of Urban Public Transportation System has been conducted to show the benefits of the approach.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Method integration: An approach to develop agent oriented methodologies

Agent oriented software engineering (AOSE) is an emerging field in computer science  and  proposes some systematic ideas for multi agent systems analysis, implementation and maintenance. Despite the various methodologies introduced in the agent-oriented software engineering, the main challenges are defects in different aspects of methodologies. According to the defects resulted from weaknesses ...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Process algebraic modeling of authentication protocols for analysis of parallel multi-session executions

Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...

متن کامل

Modeling Secure Systems Using an Agent-oriented Approach and Security Patterns

In this paper we describe an approach for modelling security issues in information systems. It is based on an agent-oriented approach, and extends it with the use of security patterns. Agent-oriented software engineering provides advantages when modeling security issues, since agents are often a natural way of conceptualizing an information system, in particular at the requirements stage, when ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1403.2821  شماره 

صفحات  -

تاریخ انتشار 2014